checking tool中文是什么意思

发音:

中文翻译
造句

测量工具

check n. 1.(象棋)将军(!)，被将军的局面。 2.(突然 ...
tool n. 1.工具，用具，器具；【机械工程】刀具；工具母机 ...
artwork checking tool 版图检查工具
checking 产生裂缝; 发裂
checking for 零位调整; 正在检查
checking in 办理登机手续; 办理人住手续; 报到; 登记入住; 登记住房; 登记住宿; 检票; 住进旅馆
checking of 校核
by tool 通过刀具
it tool 信息科技工具
tool n. 1.工具，用具，器具；【机械工程】刀具；工具母机 (＝machine tool)。 2.爪牙，傀儡，走狗；〔美俚〕扒手。 3.【装钉】压印机。 4.〔pl.〕〔美俚〕刀叉(等)。 Books are the tools of a scholar. 书籍是学者的工具。 tool steel 工具钢。 a broad tool (石工的)宽刃凿。 an edge(d) tool 刀。 literary tools 文具。 a poor tool不行的工人。 throw down one's tools＝down tools 罢工。 vt.,vi. 1.用工具加工，用工具制造，用凿刀修整(石头)；【装订】压印。 2.〔英口〕开车；乘车；〔美俚〕闲逛，闲荡。 Let me tool you down to the station. 我用车送你上车站吧。 blind tooling 【印刷】(硬封面上的)本色压印。
account checking 客户对帐
accuracy checking 精度检查
amplitude checking 幅度校验
anti checking 防裂
appointment checking 入职审查
arithmetic checking 算术检查
assertion checking 断言检查用户在程序中嵌入的断言的检查。
assumption checking 假设检验
automatic checking 自动检验; 自动校验
back checking 复核
back-checking 返回校验
batch checking 批量检查
battery checking 电池检验
biscuit checking 饼干表面网状裂纹; 饼干验证
board checking 板墙挤贴; 板强挤贴

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

Know different checking tools and find problems and solve them
熟知不同检测工具，发现问题并解决问题。
The object of this paper is to verify security protocols with model checking tools
本课题的研究目的是采用模型检验工具对安全协议进行验证。
The accessibility checking tool is not available in visual web developer express edition
Visual web developer速成版中未提供可访问性检查工具。
It s always nice to send one s code through an automated checking tool - and watch it pass
发送代码，使其通过一个自动检查工具并看着它通过总是很不错的。
The accessibility checking tool is not available in the microsoft visual web developer express edition
Microsoft visual web developer速成版中未提供辅助功能检查工具。
Necessary q - check points in process and have final inspection . spc is used . necessary checking tools and testing equipments are available
生产过程有必要的质量检查点和最终检验。使用了spc 。有必要的测量和实验仪器。
While these link checking tools are far from new , you may not have heard of them , or may have some tools to add to the mix or suggestions of how to use these particular tools more effectively
你可能没有听说过这些链接检查工具，但它们已经产生很久了；或者与其它工具混合使用过；或者了解使用这些工具的方法。
At last , we draw out some core modules of pems . directed by theories and methods of software reliability , we use static check tools pc - lint and splint to check those modules , and write some programs to test them
最后,抽取pems的核心模块,应用可靠性理论和方法,使用静态检测工具pc - lint和splint对这些模块进行检测,开发测试程序进行测试。
We have designed and implemented an uml - based model checking tool , uml - mc . it can verify the statecharts modeled by rational rose or i - logix rhapsody . the counter - examples will be given when system does not meet the properties
我们设计并实现了一个uml模型检验工具uml - mc ，可以对rationalrose或i - logixrhapsody建立的statecharts模型进行验证，并能在性质不满足时给出反例路径。
First , this paper introduces the notation , categories and properties of security protocols , and formal methods to verify security protocols and small system model . the emphasis is the research and analysis of the principle of the model checking method . we study the mechanism and syntax of symbolic model checking tool smv , model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
文章主要介绍了安全协议的概念、分类和性质，安全协议的形式化验证方法，以及小系统模型的原理；重点分析和研究了符号化模型检验工具smv的原理和语法及其对安全协议进行模型检验时的工作机理，而且使用smv对needham - schroeder公钥协议和wooandlam对称钥协议进行了形式化建模与模型检验，发现了它们的安全漏洞。